Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое SNI Prolog - определение
YAP-Prolog; Yet Another Prolog; YAP Prolog
Найдено результатов: 33
PROLOG
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
PROgramming in LOGic
SNi
TYPE OF NUCLEOPHILIC SUBSTITUTION REACTION
SNi reaction; SNi substitution; Substitution nucleophilic internal
SNi or Substitution Nucleophilic intramolecular stands for a specific but not often encountered nucleophilic aliphatic substitution reaction mechanism. The name was introduced by Cowdrey et al.
SNI
TYPE OF NUCLEOPHILIC SUBSTITUTION REACTION
SNi reaction; SNi substitution; Substitution nucleophilic internal
Siemens Nixdorf Informationssysteme [Additional explanations: AG] (Reference: manufacturer)
SNI
TYPE OF NUCLEOPHILIC SUBSTITUTION REACTION
SNi reaction; SNi substitution; Substitution nucleophilic internal
Prolog
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
·noun & ·v Prologue.
SNI
TYPE OF NUCLEOPHILIC SUBSTITUTION REACTION
SNi reaction; SNi substitution; Substitution nucleophilic internal
SNA Network Interconnection (Reference: IBM, VTAM, SNA)
SNI
TYPE OF NUCLEOPHILIC SUBSTITUTION REACTION
SNi reaction; SNi substitution; Substitution nucleophilic internal
Subscriber Network Interface (Reference: SMDS)
Prolog
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
<programming> Programming in Logic or (French) Programmation
en Logique. The first of the huge family of {logic
programming} languages.
Prolog was invented by Alain Colmerauer and Phillipe Roussel
at the University of Aix-Marseille in 1971. It was first
implemented 1972 in ALGOL-W. It was designed originally for
natural-language processing but has become one of the most
widely used languages for artificial intelligence.
It is based on LUSH (or SLD) resolution {theorem
proving} and unification. The first versions had no
user-defined functions and no control structure other than the
built-in depth-first search with backtracking. Early
collaboration between Marseille and Robert Kowalski at
University of Edinburgh continued until about 1975.
Early implementations included C-Prolog, ESLPDPRO,
Frolic, LM-Prolog, Open Prolog, SB-Prolog, {UPMAIL
Tricia Prolog}. In 1998, the most common Prologs in use are
Quintus Prolog, SICSTUS Prolog, LPA Prolog, {SWI
Prolog}, AMZI Prolog, SNI Prolog.
ISO draft standard at {prolog/standard/">Darmstadt, Germany
(ftp://ftp.th-darmstadt.de/pub/programming/languages/prolog/standard/) }.
or UGA, USA (ftp://ai.uga.edu/ai.prolog.standard).
See also negation by failure, Kamin's interpreters,
Paradigms of AI Programming, Aditi.
A Prolog interpreter in Scheme.
ftp://cpsc.ucalgary.ca/pub/prolog1.1.
{A Prolog package
(ftp://cpsc.ucalgary.ca/pub/prolog1.1/prolog11.tar.Z) } from
the University of Calgary features delayed goals and
interval arithmetic. It requires Scheme with
continuations.
["Programming in Prolog", W.F. Clocksin & C.S. Mellish,
Springer, 1985 ].
(2001-04-01)
Prolog
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
['pr??l?g]
¦ noun Computing a high-level computer programming language first devised for artificial intelligence applications.
Origin
1970s: from the first elements of programming and logic.
SICStus Prolog
PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog
A Prolog from the SICS (Swedish Inst of Comp Sci).
E-mail: <sicstus-request@sics.se>.
Mailing list: sicstus-users@sics.se.
(1995-01-05)
Википедия
YAP (Prolog)
YAP is an open-source, high-performance implementation of the Prolog programming language developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus Prolog and SICStus Prolog. YAP has been developed since 1985. The original version was written in assembly, C and Prolog, and achieved high performance on m68k-based machines.
